Termination, deadlock, and divergence
نویسندگان
چکیده
منابع مشابه
Deadlock and Termination Detection using IMDS Formalism and Model Checking. Version 2
Modern model checking techniques concentrate on global properties of verified systems, because the methods base on global state space. Local features like partial deadlock or process termination are not easy to express and check. In the paper a description of distributed system in an Integrated Model of Distributed Systems (IMDS) combined with model checking is presented. IMDS expresses a duali...
متن کاملDating divergence of Polystigma and other Sordariomycetes
Studies on the evolutionary history of ascomycetes in terms of time scale will help to understand historical patterns that shape their biodiversity. Until now most of dating studies of ascomycetes have focused on major events in fungal evolution but not on divergence events within smaller groups of fungi e.g. within Sordariomycetes. We used molecular dating to estimate the time of separation of...
متن کاملGuaranteed Deadlock Recovery: Deadlock Resolution with Rollback Propagation
Traditionally, deadlock resolution is performed by simply aborting any process or the lowest-priority process (called the victim) involved in a deadlock cycle. In message-passing applications where rollback propagation due to message dependencies is possible, the rollback of the victim may require other processes to roll back as well, and the restarted processes may get into the same deadlock a...
متن کاملDeadlock-Free Channels and Locks
The combination of message passing and locking to protect shared state is a useful concurrency pattern. However, programs that employ this pattern are susceptible to deadlock. That is, the execution may reach a state where each thread in a set waits for another thread in that set to release a lock or send a message. This paper proposes a modular verification technique that prevents deadlocks in...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of the ACM
سال: 1992
ISSN: 0004-5411,1557-735X
DOI: 10.1145/147508.147527